Constant-Rate Interactive Coding Is Impossible, Even In Constant-Degree Networks

Multiparty interactive coding allows a network of n parties to perform distributed computations when the communication channels suffer from noise. Previous results (Rajagopalan and Schulman, STOC ’94) obtained a multiparty interactive coding protocol, resilient to random noise, with a blowup of O(log(∆ + 1)) for networks whose topology has a maximal degree ∆. Vitally, the communication model in their work forces all the parties to send one message at every round of the protocol, even if they have nothing to send. We re-examine the question of multiparty interactive coding, lifting the requirement that forces all the parties to communicate at each and every round. We use the recently developed information-theoretic machinery of Braverman et al. (STOC ’16) to show that if the network’s topology is a cycle, then there is a specific “cycle task” for which any coding scheme has a communication blowup of Ω(log n). This is quite surprising since the cycle has a maximal degree of ∆ = 2, implying a coding with a constant blowup when all parties are forced to speak at all rounds. We complement our lower bound with a matching coding scheme for the “cycle task” that has a communication blowup of Θ(log n). This makes our lower bound for the cycle task tight. ∗A preliminary version of this work appeared in the proceedings of the 8th Innovations in Theoretical Computer Science (ITCS’17) conference. †Part of this work was done while at Princeton University. Supported in part by NSF grant CCF-1149888. ISSN 1433-8092 Electronic Colloquium on Computational Complexity, Report No. 95 (2017)